/*
    Client CSS

    Top-level, general declarations

    Major classes:

        .SegmentLinkBlock
        .SortData
        .WebIndexTog

*/
body
{
    background-color: #fffff7;
    font-family: Sans-Serif;
    font-size: medium;
    margin: 0;
    padding: 0;
}

button
{
    cursor: pointer;
}

span.SortData
{
    display: none;
}

a:active, a:hover, a:link, a:visited
{
    color: #0000ff;
    text-decoration: none;
}

#CommandBlock
{
    background-color: #e5e4e3;
    border: solid 0.25em #336699;
    left: 32px;
    position: absolute;
    text-align: center;
    top: 32px;
    width: 240px;
}

#CommandBlock button
{
    display: block;
    font-size:small;
    margin: 0.5em;
    margin-left: auto;
    margin-right: auto;
    width: 90%;
}

#CommandBlock hr
{
    border: solid 0.25em #336699;
    border-bottom: 0;
}

#DisplayBlock
{
    margin: 32px 64px 32px 320px;
}

#WebIndex
{
    background-color: #336699;
    overflow: auto;
    padding: 1em;
    width: 54em;
}

#WebIndex a:active, #WebIndex a:hover, #WebIndex a:link, #WebIndex a:visited
{
    color: #fffff7;
    text-decoration: none;
}

#WebIndex a.DocumentLink_Inactive, #WebIndex a.SegmentLink_Inactive
{
    text-decoration: line-through;
}

#WebIndex a.WebIndexTog img
{
    border: 0;
    margin: 0.25em;
}

#WebIndex div.DocumentLinkBlock
{
    margin-bottom: 0.5em;
}

#WebIndex div.SegmentLinkBlock
{
    margin-bottom: 0.5em;
    margin-top: 1.5em;
}

#WebIndex h1
{
    color: #fffff7;
    margin: 0;
}

#WebIndex h2
{
    background-color: #fffff7;
    color: #336699;
    font-size: medium;
    margin: 0.25em;
    padding: 0.5em;
}

#WebIndex h2.TopLevelHeader
{
    padding: 0.25em;
}

#WebIndex ul.SegmentLinkBlock
{
    list-style-type: none;
}

#WebIndex .SegmentLinkBlock ul.DocumentLinkBlock, #WebIndex .SegmentLinkBlock ul.SegmentLinkBlock
{
    display: none;
    list-style-type: none;
    margin-bottom: 2em;
    margin-top: 1em;
}

#WebIndex #IndexStatistics
{
    color: #fffff7;
}
